www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Uni-Analysis-Induktion" - (a + b)|(a^n + b^n)
(a + b)|(a^n + b^n) < Induktion < eindimensional < reell < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis-Induktion"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

(a + b)|(a^n + b^n): Tipp
Status: (Frage) beantwortet Status 
Datum: 11:35 Mo 21.11.2011
Autor: bettdecke

Aufgabe
Für welches n [mm] \in [/mm] N gilt, (a+b) teilt [mm] (a^{n}+b^{n}) [/mm]



Hallo Zusammen,
sitze bei folgender Aufgabe fest. Mir ist klar, dass n ungerade sein muss aber weiter komme ich nicht.
Hat jmd vllt nen Tipp oder nen Ansatz?

Gruß

Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.

        
Bezug
(a + b)|(a^n + b^n): Antwort
Status: (Antwort) fertig Status 
Datum: 11:51 Mo 21.11.2011
Autor: reverend

Hallo bettdecke, [willkommenmr]

> Für welches n [mm]\in[/mm] N gilt, (a+b) teilt [mm](a^{n}+b^{n})[/mm]
>  
> Hallo Zusammen,
>  sitze bei folgender Aufgabe fest. Mir ist klar, dass n
> ungerade sein muss aber weiter komme ich nicht.
>  Hat jmd vllt nen Tipp oder nen Ansatz?

Das zeigst Du am einfachsten durch Polynomdivision.
Für ungerade n geht sie auf (und Du hast auch gleich die Zerlegung), für gerade n aber nicht - bzw. nur für bestimmte a,b. Das aber sieht die Aufgabe nicht vor. Zum Beispiel für b=a oder b=a(a-1) ist eine Zerlegung auch für gerade n möglich.

Kontrolllösung für n=2k+1: [mm] (a^n+b^n)=(a+b)*\summe_{i=0}^{2k}(-1)^i*a^i*b^{2k-i} [/mm]

Grüße
reverend


Bezug
        
Bezug
(a + b)|(a^n + b^n): Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 12:13 Mo 21.11.2011
Autor: bettdecke

Hi,
danke erstmals für die schnelle Antwort.
Habe es bisher nur mit der vollständigen Induktion versucht aber wieso sollte mir auch die Polynomdivision nicht helfen :)
Leider habe ich lange nicht mehr mit der Polynomdivision gearbeitet.
Der Dividend müsste [mm] a^{2k+1}+b^{2k+1} [/mm] sein. Und der Divisor a+b.
Stimmt das soweit=?

Danke!

Bezug
                
Bezug
(a + b)|(a^n + b^n): Antwort
Status: (Antwort) fertig Status 
Datum: 12:27 Mo 21.11.2011
Autor: fred97


> Hi,
>  danke erstmals für die schnelle Antwort.
>  Habe es bisher nur mit der vollständigen Induktion
> versucht aber wieso sollte mir auch die Polynomdivision
> nicht helfen :)
>  Leider habe ich lange nicht mehr mit der Polynomdivision
> gearbeitet.
>  Der Dividend müsste [mm]a^{2k+1}+b^{2k+1}[/mm] sein. Und der
> Divisor a+b.
>  Stimmt das soweit=?

Ja

FRED

>  
> Danke!


Bezug
        
Bezug
(a + b)|(a^n + b^n): alternativ: funktion
Status: (Antwort) fertig Status 
Datum: 12:37 Mo 21.11.2011
Autor: Schadowmaster

moin bettdecke,

Da ich erst vor ein paar Tagen eine sehr ähnliche Aufgabe hatte und mich da mit Polynomdivision abgemüht habe möchte ich dir noch einen kleinen Tipp geben.
Falls über a und b keinerlei weitere Aussagen getroffen wurden, du also nur die n finden sollst, so dass es für alle a,b gilt, kannst du das ganze auch als Funktion auffassen.
Ich schreib das jetzt mal als reelle Funktion, sollten deine a,b aus anderen Definitionsbereichen kommen kannst du das sicher anpassen.
$f: [mm] \IR \to \IR, [/mm] x [mm] \mapsto x^n [/mm] + [mm] b^n$ [/mm] für ein festes $b [mm] \in \IR$. [/mm]
Ich habe das a jetzt x genannt, damit es leichter zu erkennen ist was fest ist und was variabel, aber du kannst natürlich gerne den Namen a behalten.
Dann ist jetzt die Frage, wann dieser Ausdruck durch (x+b) teilbar ist.
Es gilt aber [mm] $(x+b)|(x^n [/mm] + [mm] b^n) \gdw [/mm] f(-b) = 0$, also -b ist eine Nullstelle von f.
Daraus ergibt sich:
[mm] $(-b)^n [/mm] + [mm] b^n [/mm] = 0$

An dieser Stelle sieht man sehr schön - und vor allem ohne größere Rechnung - dass dies genau dann der Fall ist wenn n ungerade ist (so lange man keine Bedingungen an b stellen darf).
Du erhältst auf diese Art zwar keine Faktoren oder ähnliches, aber wenn nur der Beweis gefordert ist wäre dies vielleicht eine Alternative.

lg

Schadow

Bezug
                
Bezug
(a + b)|(a^n + b^n): Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 12:41 Mo 21.11.2011
Autor: reverend

Hallo Schadow,

schicke Idee! Das ist ja eine elegante Lösung.

Grüße
reverend


Bezug
                
Bezug
(a + b)|(a^n + b^n): Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 13:13 Mo 21.11.2011
Autor: bettdecke

Super danke dir!
Die Polynomdivision wollte sich einfach nicht lösen lassen....

Bezug
                        
Bezug
(a + b)|(a^n + b^n): Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 13:52 Mo 21.11.2011
Autor: reverend

Hallo nochmal,

>  Die Polynomdivision wollte sich einfach nicht lösen
> lassen....

Dann solltest Du Dir das - ganz abseits der Aufgabe - aber auf jeden Fall nochmal anschauen.

Das Ergebnis habe ich Dir vorhin schon mitgegeben, aber Du musst es natürlich selbst finden können.

Für [mm] (a^3+b^3):(a+b) [/mm] ergibt sich z.B. [mm] (a^2-ab+b^2), [/mm] in der fünften Potenz dann [mm] (a^4-a^3b+a^2b^2-ab^3+b^4) [/mm] etc.

Grüße
reverend


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis-Induktion"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]